<?php 
session_start(); 
	if (isset($_SESSION["id_no"])) { Header("Location: panel.php");}
	else { include"login_page.php";}
?>